In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft
نویسنده
چکیده
A system is said to be fail-secure, sometimes confused with fail-safe, if it maintains its security requirements even in the event of some faults. Fail-secure analyses are required by some validation schemes, such as some Common Criteria or NATO certifications. However, it is an aspect of security which as been overlooked by the community. This paper attempts to shed some light on the failsecure field of study by: giving a definition of fail-secure as used in those certification schemes, and emphasizing the differences with fail-safe; and exhibiting a first feasibility draft of a fail-secure design analysis tool based on the Alloy model checker.
منابع مشابه
Design and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملModelling and Numerical Simulation of Cutting Stress in End Milling of Titanium Alloy using Carbide Coated Tool
Based on the cutting force theory, the cutting stress in end milling operation was predicted satisfactorily through simulation of using finite element method. The mechanistic force models were introduced in high accuracy force predictions for most applications. The material properties in the simulations were defined based on the cutting force theory, as a function of strain and strain rate wher...
متن کاملFeasibility study of underground salt caverns in Western Newfoundland: experimental and finite element investigation of creep-induced damage
Underground caverns in rock salt deposits are the most secure disposal method and a type of gas-storing facility. Gas storage plays a vital role in ensuring that a strategic relationship is secured between an established energy infrastructure provider and a midstream energy company. The Fischells Brook area is a pillow-shaped body of salts located in the St. George's Bay area of southwest Newfo...
متن کاملAn empirical study on statistical analysis and optimization of EDM process parameters for inconel 718 super alloy using D-optimal approach and genetic algorithm
Among the several non-conventional processes, electrical discharge machining (EDM) is the most widely and successfully applied for the machining of conductive parts. In this technique, the tool has no mechanical contact with the work piece and also the hardness of work piece has no effect on the machining pace. Hence, this technique could be employed to machine hard materials such as super allo...
متن کاملSecure Bio-Cryptographic Authentication System for Cardless Automated Teller Machines
Security is a vital issue in the usage of Automated Teller Machine (ATM) for cash, cashless and many off the counter banking transactions. Weaknesses in the use of ATM machine could not only lead to loss of customer’s data confidentiality and integrity but also breach in the verification of user’s authentication. Several challenges are associated with the use of ATM smart card such as: card clo...
متن کامل